Resultaten visas 1 - 10 / 13070
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Running software research programs: An agile approach

Referentgranskad
DOI
10.1109/ICSE-C.2017.59
Jarvinen, Janne; Huomo, Tua; Mikkonen, Tommi
IEEE/ACM INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING2017Publicationer information ikon

Omega-Restricted Logic Programs

Referentgranskad
Syrjänen, Tommi
SPRINGER2001Publicationer information ikon

Verifying SDL Programs Using Petri Nets

Referentgranskad
Husberg, N.
-1998Publicationer information ikon

Modularity in Smodels Programs

Referentgranskad
Oikarinen, Emilia
SPRINGER2007Publicationer information ikon

Representing Normal Programs with Clauses

Referentgranskad
Janhunen, Tomi
IOS PRESS2004Publicationer information ikon

Logic Programs with Ordered Disjunction

Referentgranskad
DOI
10.1111/j.0824-7935.2004.00241.x
Brewka, Gerhard; Niemelä, Ilkka; Syrjänen, Tommi
Computational Intelligence2004Publicationer information ikon

Intelligent Mine and Intelligent Mine Implementation Research Programs

Referentgranskad
Särkkä, Pekka; Pukkila, Jukka
Polish Academy of Sciences2002Publicationer information ikon

Enhancing commercialization in information technology: How joint research projects within technology programs evolve in practice

Referentgranskad
Ikävalko, Jaakko; Hänninen, Seppo; Serkkola, Ari; Kauranen, Ilkka
IGI GLOBAL2009Publicationer information ikon

Research on Facilitating Successful Treatment Processes in Perpetrator Programs

Referentgranskad
Päivinen, Helena; Vall, Berta; Holma, Juha
Family Issues in the 21st Century2016Publicationer information ikon

Modelling the Game of Life using Logic Programs

Referentgranskad
Syrjänen, T.
Helsinki University of Technology. Laboratory for Theoretical Computer Science. A, Research reports2000

Running software research programs: An agile approach

Referentgranskad
DOI
10.1109/ICSE-C.2017.59
2017

Omega-Restricted Logic Programs

Referentgranskad
2001

Verifying SDL Programs Using Petri Nets

Referentgranskad
1998

Modularity in Smodels Programs

Referentgranskad
2007

Representing Normal Programs with Clauses

Referentgranskad
2004

Logic Programs with Ordered Disjunction

Referentgranskad
DOI
10.1111/j.0824-7935.2004.00241.x
2004

Intelligent Mine and Intelligent Mine Implementation Research Programs

Referentgranskad
2002

Enhancing commercialization in information technology: How joint research projects within technology programs evolve in practice

Referentgranskad
2009

Research on Facilitating Successful Treatment Processes in Perpetrator Programs

Referentgranskad
2016

Modelling the Game of Life using Logic Programs

Referentgranskad
2000